|
In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for filters on sets is known as the ultrafilter lemma. Other theorems are obtained by considering different mathematical structures with appropriate notions of ideals, for example, rings and prime ideals (of ring theory), or distributive lattices and ''maximal'' ideals (of order theory). This article focuses on prime ideal theorems from order theory. Although the various prime ideal theorems may appear simple and intuitive, they cannot be derived in general from the axioms of Zermelo–Fraenkel set theory without the axiom of choice (abbreviated ZF). Instead, some of the statements turn out to be equivalent to the axiom of choice (AC), while others—the Boolean prime ideal theorem, for instance—represent a property that is strictly weaker than AC. It is due to this intermediate status between ZF and ZF + AC (ZFC) that the Boolean prime ideal theorem is often taken as an axiom of set theory. The abbreviations BPI or PIT (for Boolean algebras) are sometimes used to refer to this additional axiom. ==Prime ideal theorems== Recall that an order ideal is a (non-empty) directed lower set. If the considered poset has binary suprema (a.k.a. joins), as do the posets within this article, then this is equivalently characterized as a non-empty lower set ''I'' that is closed for binary suprema (i.e. ''x'', ''y'' in ''I'' imply ''x''''y'' in ''I''). An ideal ''I'' is prime if its set-theoretic complement in the poset is a filter. Ideals are proper if they are not equal to the whole poset. Historically, the first statement relating to later prime ideal theorems was in fact referring to filters—subsets that are ideals with respect to the dual order. The ultrafilter lemma states that every filter on a set is contained within some maximal (proper) filter—an ''ultrafilter''. Recall that filters on sets are proper filters of the Boolean algebra of its powerset. In this special case, maximal filters (i.e. filters that are not strict subsets of any proper filter) and prime filters (i.e. filters that with each union of subsets ''X'' and ''Y'' contain also ''X'' or ''Y'') coincide. The dual of this statement thus assures that every ideal of a powerset is contained in a prime ideal. The above statement led to various generalized prime ideal theorems, each of which exists in a weak and in a strong form. ''Weak prime ideal theorems'' state that every ''non-trivial'' algebra of a certain class has at least one prime ideal. In contrast, ''strong prime ideal theorems'' require that every ideal that is disjoint from a given filter can be extended to a prime ideal that is still disjoint from that filter. In the case of algebras that are not posets, one uses different substructures instead of filters. Many forms of these theorems are actually known to be equivalent, so that the assertion that "PIT" holds is usually taken as the assertion that the corresponding statement for Boolean algebras (BPI) is valid. Another variation of similar theorems is obtained by replacing each occurrence of ''prime ideal'' by ''maximal ideal''. The corresponding maximal ideal theorems (MIT) are often—though not always—stronger than their PIT equivalents. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Boolean prime ideal theorem」の詳細全文を読む スポンサード リンク
|